1. Formal methods for nonmonotonic and related logics.
پدیدآورنده : Karl Schlechta.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science),Nonmonotonic reasoning.,Formal methods (Computer science),Nonmonotonic reasoning.
رده :
QA76
.
9
.
F67
